home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c++ / 1179 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.2 KB
  1. From: Roman Lechtchinsky <wolfro@cs.tu-berlin.de>
  2. Message-ID: <3178D6BB.7167@cs.tu-berlin.de>
  3. X-Original-Date: Sat, 20 Apr 1996 14:21:15 +0200
  4. Path: in2.uu.net!bounce-back
  5. Date: 20 Apr 96 16:16:11 GMT
  6. Approved: fjh@cs.mu.oz.au
  7. Newsgroups: comp.std.c++
  8. Subject: Re: Member templates
  9. Organization: Technical University of Berlin
  10. References: <31763F3F.805@cs.tu-berlin.de> <xsoivewlve3.fsf@avs.cs.rpi.edu>
  11. X-Mailer: Mozilla 2.0 (Win95; I)
  12. X-Auth: PGPMoose V1.1 PGP comp.std.c++
  13.     iQBFAgUBMXkN2OEDnX0m9pzZAQHy/gF/VoSenJZSKyw8qJYAfKGEDJ4wvQIMmolU
  14.     fg+XHap8/IAfE+dP8YuT0/rnJnIxD7vx
  15.     =zfNa
  16.  
  17. David Vandevoorde wrote:
  18. > 
  19. > >>>>> "RL" == Roman Lechtchinsky <wolfro@cs.tu-berlin.de> writes:
  20. > [...]
  21. > RL> class Base
  22. > RL> {
  23. > RL>  virtual void f(int);
  24. > RL> };
  25. > 
  26. > RL> class Derived : Base
  27. > RL> {
  28. > RL> template<class T> void f(T);
  29. > RL> };
  30. > 
  31. > RL> Is this legal? If so, will the template function f(int) override
  32. > RL> Base::f(int)? If so, when will it be instantiated? And, last but not
  33. > RL> least, which section of the DWP handles this case? Thanks in advance.
  34. > 
  35. > I believe this is legal and the instantiated member function is not
  36. > virtual (i.e., no overriding), but my reason extrapolates the WPs
  37. > somewhat. I base this on the fact that the `signature' of a template
  38. > function includes the actual template arguments ([temp.over.link]
  39. > 14.10.4/3 in the April CD), and that when [class.virtual] 10.3/2
  40. > requires `same name', `name' really means template-id and not just
  41. > template-name ([temp.names] 14.1).
  42. > 
  43.  
  44. IMO, this means that f cannot be overridden in Derived:
  45.  
  46. class Derived : Base
  47. {
  48.  template<class T> void f(T);
  49.  void f(int);
  50. };
  51.  
  52. would be a specialization which means that f doesn't override as it is still 
  53. a template ( [temp.over.spec] 14.10.5 ). Is this interpretation correct?
  54.  
  55. Bye
  56.  
  57. Roman
  58. ---
  59. [ comp.std.c++ is moderated.  To submit articles: try just posting with      ]
  60. [ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu         ]
  61. [ FAQ:      http://reality.sgi.com/employees/austern_mti/std-c++/faq.html    ]
  62. [ Policy:   http://reality.sgi.com/employees/austern_mti/std-c++/policy.html ]
  63. [ Comments? mailto:std-c++-request@ncar.ucar.edu                             ]
  64.